Assert Y($\lambda$$f$,$x$. $g$($x$,$f$)) $\in$ Void$\rightarrow$Void